|Robust, Mobile Archetypes - Ann Pogue|
Robust, Mobile ArchetypesAnn PogueAbstractThe development of the memory bus has improved write-ahead logging, and current trends suggest that the refinement of spreadsheets will soon emerge. In fact, few mathematicians would disagree with the evaluation of voice-over-IP. In this paper, we disconfirm that though rasterization  can be made concurrent, introspective, and atomic, the little-known autonomous algorithm for the emulation of A* search by J...
|Improvement Of Architecture - Jerome A. Varga|
Improvement of ArchitectureJerome A. VargaAbstractUnified certifiable theory have led to many typical advances, including the Turing machine and web browsers. Given the current status of large-scale epistemologies, system administrators compellingly desire the understanding of redundancy. In this paper we construct new large-scale symmetries (ALMEH), which we use to validate that thin clients and the World Wide Web can connect to accomplish this objective.
|Introduction to Programming in Turing (First Edition - Second Printing) - Holt Software Associates|
"Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a clean syntax and precise machine-independent semantics."Author: J. N. P. HumeISBN: 0-921598-42-4Website: holtsoft.comThis copy from http://compsci.ca/holtsoft/
Keywords: turing; holtsoft
|IUMA: turing test|
Melancholy melodies that impel the listener to wander an internal landscape, sometimes aimlessly, sometimes with conviction are at the core of the songs turing test is currently recording. The lyrics go far beyond the predictable 'boy meets girl, boy loses girl' genre. Some are allegories, examining fractionalization and rapid change, others explore compulsive obsession, the consequences of infidelity, and complexity...
Keywords: turing test
|Object Oriented Turing Reference Manual Seventh Edition Version 1.0 - Holt Software Associates|
"Turing is a Pascal-like programming language developed in 1982 by Ric Holt and James Cordy, then of University of Toronto, Canada. Turing is a descendant of Euclid, Pascal and SP/k that features a clean syntax and precise machine-independent semantics."Authors: R. C. Holt with Tom WestISBN: 0-921598-35-1Website: holtsoft.comThis copy from http://compsci.ca/holtsoft/
Keywords: turing; holtsoft
|Synthesizing Voice Over IP - Jerome A. Varga|
Synthesizing Voice-over-IP Using Mobile Information
Keywords: IPv7; Bayesian; Turing
|Episode 24: 'uge 'umorless 'umans - Stuff Smart People Like|
In honor of the 100 year anniversary of Alan Turing's birth, the gents discuss artificial intelligence, video games, and dystopian futures. Jordan elects to leave the main topic to the experts in favor of playing softball with a group of aging men.
Keywords: podcast; gaming; alan turing
|Máquinas De Turing. - Lisardo San Bruno de la Cruz .|
La concepción funcionalista de Turing como modelo psico-semántico en la época `realista dura´putnamiana .
Keywords: Funcionalismo; Turing; Putnam
|Alan Turing -- Groks Science Show 2006-03-29 - Charles Lee and Frank Ling|
Alan Turing was a prominent figure in the development of the computer, and is well known for many important computing concepts, including the famous Turing Test. On this program Prof. David Leavitt discussed the life of Alan Turing.
Keywords: science; computers; Turing
|Conducta Conputacional - Lisardo San Bruno de la Cruz.|
Exégesis putnamiana sobre la conducta computacional de las máquinas del genial y digno de nuestra eterna gratitud por su vida y obra Alan Turing ( que `dios y/o el futuro del computacionalismo cuántico le guarde en su seno o en sus matrices no-conmutativas ).
Keywords: Máquinas de Turing; Putnam; funcionalismo
|The Annotated Turing: A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine|
Charles Petzold explores Alan Turing's ideas on computing during a lecture at the University of Toronto on March 9, 2009.
Keywords: computers; computing history; alan turing
|mit :: ai :: aim :: AIM-033|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-033
Keywords: turing; symbol; sequence; instruction; scanning; theorem; symbols; machine; string; tag; turing machine; scanning agent; universal turing; deletion number
|Resolution Machinery - Ramón Casares|
The value of syntax is controversial: some see syntax as defining us as species, while for others it just facilitates communication. To assess syntax we investigate its relation to problem resolving. First we define a problem theory from first principles, and then we translate the theory concepts to mathematics, obtaining the requirements that every resolution machine has to implement. Such a resolution machine will be able to execute any possible resolution, that is, any possible way of taking ...
Keywords: syntax; problem; resolution; Turing; syntax evolution
|BSTJ 41: 3. May 1962: On Non-Computable Functions. (Rado, T.)|
Bell System Technical Journal, 41: 3. May 1962 pp 877-884. On Non-Computable Functions. (Rado, T.)
Keywords: turing; computable; entries; valid; score; entry; machine; binary; binary turing; functions; bell system; valid entry; turing machine; computable function; turing machines; busy beaver; finite set; system technical
|Máquinas De Turing. - Lisardo San Bruno de la Cruz .|
La obra de A. Turing analizada por H. Putnam desde el intradós teórico de su programa funcionalista en el M.I.T. ( J. Fodor fue su co-creador ).
Keywords: máqinas de Turing; funcionalismo; Putnam; Fodor
|Simulation of arithmetic and Boolean functions on Turing machines - Chelikowsky, Richard Dale.|
This volume was digitized and made accessible online due to deterioration of the original print copy.
Keywords: Turing machines; Algebraic functions--Computer programs
|Music Free Static Episode 81 - Randall Smith|
______________________________ MUSIC FREE STATIC EPISODE 81 ______________________________Table of Contents_________________1 0:00:00 Introduction2 0:01:43 Sticker Shock3 0:15:17 Sponsor: Loving Hands Crochet4 0:18:11 Costs keep going up5 0:41:19 Alan Turing finally pardoned6 CopyrightOriginally posted at http://youtu.be/S98ov4lhgxE1 0:00:00 Introduction====================== Welcome to Music Free Static...
Keywords: politics; conservative; libertarian; Colorado; ObamaCare; Alan Turing
|Universal Grammar Is a Universal Grammar - Ramón Casares|
Is Universal Grammar a universal grammar? From Chomsky's hierarchy we deduce that for each grammar there is a Turing machine, and conversely. Following this equivalence, it is immediate to conclude that a universal Turing machine is equivalent to a universal grammar. Meanwhile, in linguistics, Universal Grammar is the human brain circuitry that implements the faculty of language. So the definitive answer is achieved only when we show that the human brain is Turing complete, and that language use...
Keywords: Universal Grammar; Turing completeness; language evolution
|Metadata – a wartime drama - Cory Doctorow|
In this week's podcast, I read aloud a recent Guardian column, "Metadata – a wartime drama":http://www.theguardian.com/technology/2013/jul/05/metadata-wartime-drama-privacyWhich imagines a dialog between Alan Turing and Winston Churchill that might have taken place if the UK Home Secretary Theresa May had been Turing's line-manager"All we can tell with this analysis is who is speaking, what equipment they use to speak, whom else they speak to, who the messages are addressed to, the subject of ...
Keywords: podcasts; metadata; spooks; nsa; turing; bletchleypark; crypto
|The recursive nature of descriptions : a fixed point (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 708) - Peterson, Larry J|
"BCL no. 252."
Keywords: Recursion theory; Pattern recognition systems; Turing machines
|1998 ACM Turing Award Lecture at CSCW98 - ACM|
Doug Engelbart's ACM Turing Award Lecture presented at the 1998 ACM Conference on Computer-Supported Cooperative Work, in Seattle, WA, November 16, 1998. Doug is introduced by Saul Greenberg beginning at 02:45, shows footage from the 1968 Demo, then formally introduces Doug at 14:20, who appears at 17:05. Doug's talk is titled "Bootstrapping Our Collective Intelligence". His slides from Bootstrap "Paradigm Map" are not captured on the video.
Keywords: Presentation, Award, Engelbart ACM Turing Award Lecture
|Podcast Irreductible 34 - Alan Turing - Javi Pelaez|
La Aldea Irreductible - Podcast Irreductible 34 - Alan Turing
Keywords: alan; turing; podcast; irreductible; aldea; historia; ciencia
|mit :: lcs :: tm :: MIT-LCS-TM-039|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-039
Keywords: computable; polynomial; theorem; turing; computing; binary; remark; iff; expression; expressions; open problems; turing machine; computable function
|mit :: ai :: aim :: AIM-1670|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-1670
Keywords: turing; diffusion; transduction; activator; signal; reactions; extracellular; patterns; molecules; messenger; cell membrane; biological pattern; signal transduction; turing mechanism; turing patterns; diffusion coefficients; pattern formation; messenger molecules
|Two Rambling Idiots Podcast - J&K Productions|
Recorded June 23, 2012 In this episode of Ghost Hunters... oops, wrong show. In this episode of the Two Rambling Idiots Podcast, Joe and Kevin talk at length about the Microsoft Surface and sprinkle in a little bit of iPhone 5 news. There's also a link to a hippy, trippy, dippy Slinky video in the show notes. And for spending more than half of the show editorializing about the MS Surface, there are a LOT of other links to be shared...
Keywords: rambling; idiots; microsoft; surface; apple; iphone; turing; slinky; linkedin
|Gu Test: A Measurement of Generic Intelligence - Scott Lifan Gu|
The second version of the paper Gu Test: A Measurement of Generic Intelligence
Keywords: Gu Turing Test Machine AI Intelligence Measurement Knowledge
|mit :: lcs :: tm :: MIT-LCS-TM-045|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-045
Keywords: multiplication; digits; turing; lemma; multitape; algorithm; integer; log; turing machine; machine; requires time; procedural argument; multitape turing; multiplication algorithm; integer multiplication; steps required; turing machines; output digit; linear product
|Physical_EQ - Nicolas Gravel, Fransisco Oltra|
Keywords: Homenaje a Alan Turing; Artistas Amistosos de Neukolln; LaMe>>>
In this paper, we present a new way to simulateTuring machines using a specific form of Petri nets such thatthe resulting nets are capable of thoroughly describingbehavior of the input Turing machines. We model everyelement of a Turing machine’s tuple (i.e., Q, Γ, b, Σ, δ, q0, F) withan equivalent translation in Colored Petri net’s set of elementswith priority transitions such that the resulting translation(is a Petri net that) accepts the same language as the originalTuring machine...
Keywords: Turing machine; Colored Petri net; simulate; priority transition; time Complexity
|Gu Test: A Measurement of Generic Intelligence - Scott Lifan Gu|
The second version for the paper Gu Test: A Measurement of Generic Intelligence
Keywords: Gu Turing Test Machine AI Measurement Knowledge Intelligence
|mit :: lcs :: tm :: MIT-LCS-TM-037|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-037
Keywords: floor; node; turing; simulation; storage; nodes; multidimensional; smm; arcs; head; ground floor; turing machine; turing machines; top floor; storage modification; storage plane; storage head; multidimensional turing; modification machines; massachusetts institute
Downloads: 54 (1 review)
|Hydrogen-Oxygen PEM Regenerative Fuel Cell Development at the NASA Glenn Research Center - Bents, David J.|
The closed-cycle hydrogen-oxygen PEM regenerative fuel cell (RFC) at the NASA Glenn Research Center has successfully demonstrated closed cycle operation at rated power for multiple charge-discharge cycles. During charge cycle the RFC has absorbed input electrical power simulating a solar day cycle ranging from zero to 15 kWe peak, and delivered steady 5 kWe output power for periods exceeding 8 hr. Orderly transitions from charge to discharge mode, and return to charging after full discharge, hav...
Keywords: TOPOLOGY; TURING MACHINES; MANIFOLDS (MATHEMATICS); COMPUTATION; PROVING; CLASSIFICATIONS
|Faster Than Thought - B.V. Bowden ( ed.)|
B.V. Bowden ( ed.) Faster Than Thought ( A Symposium on Digital Computing Machines ) Sir Isaac Pitman & Sons Ltd. 1953 A history of computing with a paper contributed by Alan Turing, but no mention of âColossusâ or Tommy Flowers, as Bletchley Park was still classified then. Acrobat 7 Pdf 74.9 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Computing; History of Computers; Electronic Computing Machines; Turing; Applications
|mit :: lcs :: tm :: MIT-LCS-TM-040|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-040
Keywords: log; overlap; multiplication; turing; binary; multitape; input; bounds; values; symbol; input symbol; time complexity; multitape turing; lower bounds; lower bound; storage structure; turing machines; upper bounds; turing machine; multihead multitape
|The World of Mathematics Volume 4 - James R. Newman|
James R. Newman The World of Mathematics Volume 4 George Allen & Unwin 1956 Acrobat 7 Pdf 25.1 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Essays; Poincare; Von Neumann; Turing; Birkhoff; Puzzles
|The Theory of Groups - Joseph J. Rotman|
Joseph J. Rotman The Theory of Groups Allyn & Bacon Inc. 1973 Acrobat 7 Pdf 11.7 Mb. Scanned by artmisa using Canon DR2580C + flatbed option
Keywords: Mathematics; Homomorphism; Isomorphism; Permutation; Sylow; Abelian; Group; Turing Machine
|GuTestV3 - Scott Lifan Gu|
The 3rd version of Gu Test: A Measurement of Generic Intelligence
Keywords: Gu Turing Test AI Measurement knowledge intelligence data
|mit :: ai :: aim :: AIM-052|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-052
Keywords: turing; machine; tag; scanning; description; system; instantaneous; string; associated; formalism; turing machine; tag system; scanning agent; instantaneous description
|mit :: lcs :: tm :: MIT-LCS-TM-038|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-038
Keywords: turing; polynomial; space; computation; eff; wsis; lemma; finite; machine; halts; simulation lemma; monadic second; turing machine; decision procedure; tape squares; weak monadic; nondeterministic turing; second order; order theory; eff empty
|mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lincolnLaboratory :: 6M-3938 The Logical Structure of Digital Computers Oct55
Keywords: machine; symbol; cell; boolean; symbols; holds; cells; turing; universal; scanned; active determinant; universal machine; turing machine; air force; boolean algebra; logical structure; transition diagram; universal turing; scanned symbol; active quadruple
|mit :: lcs :: tr :: MIT-LCS-TR-242|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-242
Keywords: vertices; log; turing; machine; lemma; space; simulation; worktape; simulated; pebbles; storage list; multidimensional turing; turing machine; free storage; worktape head; time complexity; tree machine; mass store; relative position; memory map
|Dos Time Live - Episode 17 Rev A - Get In The Choppa - DosTimeLive Studios|
Angry cars, EA + DRM = Fail, LEGO anatomy, the Halo gene and the turing test. All this and more on this episode of Dos Time Live!
Keywords: web comics; geek; tech news; BSG; Prius; BMW; EA; Activision; Blizzard; Chimpanzee; LEGO; anatomy; Ghostbusterrs; Turing; Turing Test; Starcraft; Starcraft 2; Portal
|Cost averaging techniques for robust control of flexible structural systems - Hagood, Nesbitt W.|
Viewgraphs on cost averaging techniques for robust control of flexible structural systems are presented. Topics covered include: modeling of parameterized systems; average cost analysis; reduction of parameterized systems; and static and dynamic controller synthesis.
Keywords: ECONOMIC ANALYSIS; ROBOTS; ECONOMICS; ECONOMY; POLICIES; THEOREM PROVING; TURING MACHINES; FORECASTING; HYPOTHESES; RECURSIVE FUNCTIONS
|Method for generating ultra-precise angles Patent - Appler, R. L|
Optical device containing rotatable prism and reflecting mirror for generating precise angles
Keywords: COMPUTER PROGRAMMING; LOGICAL ELEMENTS; TURING MACHINES; COMPUTATION; FUNCTIONS (MATHEMATICS); NUMERICAL ANALYSIS
|El_Explicador_2012_02_23 - El fallo de los neutrinos "ultralumínicos" - Protección de areas naturales - Alan Turing - Tugsteno...|
Grabación del Programa "El Explicador" de Enrique Ganem emitido en MVS el 23/02/2.012 --- EN ESTA EMISIÓN: * En este "jueves editorial" Enrique explica los tipos y características de las diferentes revistas científicas, y hace algunos comentarios acerca de varios artículos publicados relacionados con la siguiente temática: > El posible fallo de los neutrinos "ultralumínicos" en el experimento OPERA del CERN...
Keywords: Enrique Ganem, ciencia, divulgacion, física, neutrinos, naturaleza, coral, geología, historia, turing
|traveling nude as Alan Turing? - osvaldo cibils|
recorded by: osvaldo cibils title soundart: traveling nude as Alan Turing? author sound: Cunetzio? turkish resident. Via Trieste, 38 - second floor - Rovereto(TN) - Italy mp3 - 00:34 - 2009 osvaldo cibils http://osvaldocibils.com (contributed for TheROOM installation by o.blaat, 2009 at Medien Kultur Haus, Wels, Austria)
Keywords: osvaldo cibils; Alan Turing; TheROOM; o.blaat; Medien Kultur Haus; Wels
|Plasmaspheric Helium Ion Distribution from Satellite Observations of HeII 304 A - Chiu, Y. T.|
High sensitivity and spatial resolution observations of the He(2)II-304 A emission line intensity in the Earth's nightglow have been carried out by the extreme ultraviolet telescope on the Apollo-Soyuz mission in July 1975. The data, obtained over a wide range of parameters, are compared with the predictions of a kinetic equilibrium model of plasmaspheric ion density. Excellent overall agreement observation and theory is found using as inputs a temperature model, solar flux, and H and O number d...
Keywords: COMPUTER PROGRAMMING; OPERATING SYSTEMS (COMPUTERS); PROGRAM VERIFICATION (COMPUTERS); TURING MACHINES; HIERARCHIES; METRICATION; REGRESSION ANALYSIS
|Laminarization of Turbulent Boundary Layer on Flexible and Rigid Surfaces - Maestrello, Luci|
An investigation of the control of turbulent boundary layer flow over flexible and rigid surfaces downstream of a concave-convex geometry has been made. The concave-convex curvature induces centrifugal forces and a pressure gradient on the growth of the turbulent boundary layer. The favorable gradient is not sufficient to overcome the unfavorable; thus, the net effect is a destabilizing, of the flow into Gortler instabilities...
Keywords: COMPUTER TECHNIQUES; COMPUTERS; ALGORITHMS; COMPUTER SYSTEMS PERFORMANCE; TURING MACHINES; ERROR CORRECTING CODES; HAMILTONIAN FUNCTIONS
|Introduction to A.I.: Artificial Intelligence (six-minutes video) - Meaning and conceptions, the Turing test, practical applications of AI techniques - Francesco Galgani|
Introduction to A.I.: Artificial Intelligence (six-minutes video)Meaning and conceptions, the Turing test, practical applications of AI techniquesThere are several questions:What does artificial intelligence mean?Can a computer talk?Can a computer understand what you ask to it?Can a computer "copy human behaviours" or "think rationally as humans"?What do "strong artificial intelligence" and "weak artificial intelligence" mean?What is the Turing test?Are there practical applications of AI techniq...
Keywords: A.I; artificial intelligence; video; robot; turing; applications; chatbot; behaviours; definition; talking; understanding
|mit :: lcs :: tr :: MIT-LCS-TR-235|
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-235
Keywords: recursive; probability; sequence; sequences; independence; theorem; random; theory; properties; turing; constant factor; total recursive; probability theory; recursive measure; turing degrees; independence principle; random process; second order; probability distribution; recursive function